1. A course on mathematical logic
پدیدآورنده : Srivastava, Shashi Mohan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
S684C6
2013
2. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
پدیدآورنده : Hermes, Hans.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
3. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L.
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computable functions,، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
59
.
E67
2000
4. Enumerability, decidability, computability. An introduction to the theory of recursive functions
پدیدآورنده : Harmes, Hans
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Recursive functions,، Algebraithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
5. Enumerability, decidability, computability. An introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans.
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Enumerability decidability computability : an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
7. Gia to theōrēma mē-plērotētas tou Godel /
پدیدآورنده : V.A. Uspensky ; metaphrasē Thanos Christakopoulos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Gödel's theorem.,Incompleteness theorems.,Gödel's theorem.,Incompleteness theorems.
رده :
QA9
.
65
.
U8615
1998
8. Godel's incompleteness theorems
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
S68G6
9. Godel's incompleteness theorems
پدیدآورنده : / Raymond M. Smullyan
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Godel's theorem
رده :
QA9
.
65
.
S69
1992
10. Godel's incompleteness theorems
پدیدآورنده : Raymond M. Smullyan
موضوع : Godel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Godel's incompleteness theorems
پدیدآورنده : / Raymond M. Smullyan
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Godel's theorem
رده :
QA9
.
65
.
S69
1992
12. Godel's incompleteness theorems
پدیدآورنده : / Raymond M. Smullyan
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Godel's theorem
رده :
QA9
.
65
.
S69
1992
13. Godel's proof
پدیدآورنده : Nagel, Ernest
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Godel's theorem
رده :
QA
9
.
N3
2005
14. Godel's proof
پدیدآورنده : Nagel, Ernest
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Godel's theorem
رده :
QA
9
.
N3
1958
15. Godel's proof
پدیدآورنده : Nagel, Ernest, 1091-
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
N3G6
2005
16. Godel's proof
پدیدآورنده : Nagel, Ernest, 1091-5891
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
N23G6
17. Godel's proof /
پدیدآورنده : by Ernest Nagel and James R. Newman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Gödel's theorem.
رده :
QA9
.
65
.
N34
2002
18. Godel's proof
پدیدآورنده : Nagel, Ernest, 1091-
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
N3G6
19. Godel's proof
پدیدآورنده : Ernest Nagel and James R. Newman
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Godel's theorem
رده :
QA
,
9
,.
N3
,
1993
20. Godel's proof]CD[
پدیدآورنده : Nagel, Ernest, by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Godel's theorem
رده :
CD
1743-34
